$\forall$$i$, $x$:Id, $T$:Type, $L$:Knd List.
\\[0ex]Normal($T$) $\Rightarrow$ @$i$ only events in $L$ change $x$:$T$ $\Vdash$ ${\it es}$.@$i$ only events in $L$ change   $x$ : $T$